mathematics (Y) The name used in combinatory logic for the

fixed point function, also written as "fix".